The TOBIAS test generator and its adaptation to some ASE challenges Position paper for the ASE Irvine Workshop
نویسنده
چکیده
In the past decade, a scientific community has emerged around the notion of “Automated Software Engineering”. This community has made several advances in two kinds of challenges: the complexity of processing software engineering information, and the difficulty to capture knowledge about software. This position paper first recalls these challenges. It then describes how these challenges influenced the design of the TOBIAS test generation tool. 1 Challenges of ASE research Automated Software Engineering tries to develop software tools that help in the software development activities. Such tools start from digital information and try to produce other digital information for the software engineer. Most of the time, this digital information is a structured or a formal document. Structured or formal documents include: source code, tests, formal specifications, but also semi-formal specifications (e.g. UML diagrams) or structured documents (e.g. XML documents). At longer term, research work on natural language recognition (both spoken and written) may increase the spectrum of potential input documents.
منابع مشابه
Recent Experiences with Code Generation and Task Automation Agents in Software Tools
The 2002 Workshop on the State of the Art in Automated Software Engineering brought together leading researchers in the field to present their most recent or best work exemplifying automation in software engineering. The workshop focused on identifying emerging trends and challenges, such as: evolving requirements; software adaptability; validation of requirements and systems; complexity of sof...
متن کاملPost-treatment effects of Alstonia scholaris extract against radiation-induced biochemical alterations in Swiss albino mice
Background: This study has been undertaken to find out the possible radioprotective potential of the Alstonia scholaris extract (ASE). Materials and Methods: For experimental study, healthy Swiss albino male mice were selected from an inbred colony and divided in four groups. Group I (normal) did not receive any treatment. Group II was orally supplemented ASE once daily at the dose of ...
متن کاملDistributed Cooperative Formal Methods Tools
This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over the web. Our tools include a proof editor/assistant, servers for remote proof execution, a distributed truth protocol, an editor generator, and a new method for interface design called algebraic semiotics, which combines semiot...
متن کاملOn Adaptation in Case-based Design
Benno Stein Mar us Ho mann Department of Mathemati s and Computer S ien e / Knowledge-based Systems University of Paderborn, D 33095 Paderborn, Germany Email: stein uni-paderborn.de Abstra t: Case-based reasoning (CBR), sometimes also alled reasoning by remembering , has shown su ess espe ially in elds where human problem solving me hanisms are either partly understood or annot be resembled pro...
متن کاملReport on the Workshop on the State of the Art in Automated Software Engineering
s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows in complexity, software processes become more flexible yet complex, and more developers must co-operate and co-ordinate their work, software tools providing developers editing, reviewing and management facilities are not in themselves sufficient...
متن کامل